Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
291	Introduction UTP Designs with angelic nondeterminism Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2013-04-03 07:33:05 Predicate logic Model theory First-order logic Predicate Determinism Function Logic Mathematical logic Mathematics
292	Isabelle/UTP: Mechanised Theory Engineering for Computer Scientists Simon Foster (with Frank Zeyda) University of York May 7, 2013 Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2013-07-12 06:22:09 Predicate logic Semantics Program logic Predicate Propositional calculus Quantification Higher-order logic Isabelle Denotational semantics Logic Mathematical logic Mathematics
293	Linguistics 218: Math Ling II Montague Grammar and Dynamic Semantics Jessica Rett, deets: MW 12-2, Bunche 1265 course description: Add to Reading List Source URL: www.linguistics.ucla.edu Language: English - Date: 2015-03-01 16:55:18 Grammar Science Predicate logic Quantification Discourse representation theory Lambda calculus Montague grammar Intensional logic First-order logic Semantics Logic Linguistics
294	Formal Specifications of Security Policy Models Wolfgang Thumser T-Systems GEI GmbH ======! T§==Systems= Add to Reading List Source URL: www.commoncriteriaportal.org Language: English - Date: 2011-10-31 11:59:09 Evaluation Computer security ISO standards Common Criteria First-order logic Mereology Predicate logic Mathematical logic Logic
295	Statistical Debugging: Simultaneous Identification of Multiple Bugs Alice X. Zheng Carnegie Mellon University, School of Computer Science, Pittsburgh, PA Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-05-06 03:17:05 Predicate logic Grammar Predicate Semantics Cluster analysis Software bug Function Syntactic predicate Mathematics Logic Statistics
296	Dedalus: Datalog in Time and Space Peter Alvaro1, William R. Marczak1 , Neil Conway1 , Joseph M. Hellerstein1 , David Maier2 , and Russell Sears3 1 University of California, Berkeley {palvaro,wrm,nrc,hellerstein}@cs.berk Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2012-03-05 03:03:32 Science Logic programming Modal logic Predicate Stratification Logic Mathematics Datalog
297	Alloy and SCR: An Evaluation and Comparison Justin R. Erenkrantz, Scott Hendrickson Institute for Software Research University of California, Irvine Irvine, CA Add to Reading List Source URL: www.erenkrantz.com Language: English - Date: 2010-08-20 02:44:12 Model checkers Alloy Z notation Semantics Predicate logic Model checking Promela Variable Assertion Software engineering Formal methods Logic
298	Scalable Statistical Bug Isolation Ben Liblit Mayur Naik Alice X. Zheng Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-04-19 16:29:29 Predicate logic Grammar Predicate Semantics Software bug Extension Logic programming Function Logic Mathematical logic Mathematics
299	Program Checking With Less Hassle Julian Tschannen1 , Carlo A. Furia1 , Martin Nordio1 , and Bertrand Meyer1,2 1 2 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-08-05 04:58:16 Logic in computer science Formal methods Compiler optimizations Program logic Inline expansion Subroutines Predicate transformer semantics Postcondition Eiffel Software engineering Theoretical computer science Computing
300	Applying static analysis techniques for inferring termination conditions of logic programs (preliminary version) F. Mesnard1 and U. Neumerkel2 1 Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2002-06-16 22:50:34 Recursion Prolog Function Fold Boolean algebra B-Prolog Predicate transformer semantics Mathematics Software engineering Computing

UPDATE